SAI and NAI Experimental Interoperability Test

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Persistent organic pollutants in sediments from Sai Gon-Dong Nai River basin, Vietnam: levels and temporal trends.

Surficial sediment samples were collected from Hochiminh City canals, the Sai Gon-Dong Nai River, and its estuary, one of the most predominant industrial areas in Hochiminh City, southern Vietnam, for determination of selected persistent organic pollutants (POPs). Contamination pattern was as follows: PCBs > or = DDTs > HCB > CHLs > HCHs. Concentrations of PCBs and DDTs ranged from 0.50-150 ng/...

متن کامل

Interoperability test generation: formal definitions and algorithm

In the context of network protocols, interoperability testing is used to verify that two (or more) implementations communicate correctly while providing the services described in their respective specifications. This study is aimed at providing a method for interoperability test generation based on formal definitions. Contrary to previous works, this study takes into account quiescence of imple...

متن کامل

Amalgamating NAF and NAI

We deene a new logic language with negation by introducing existential and universal quantiiers in the queries. We call ??general programs and ??general goals the programs and the goals in this language. Negation is handled by using two rules: the NAF rule for universally quantiied negative queries and the NAI rule for existentially quantiied negative queries. We formalize this amalgamation in ...

متن کامل

, T ' SAI FAN YtU AND

In normal man, the renal clearance of urate is only a small fraction, some 5 to 10 per cent, of the inulin clearance. The prevailing interpretation of this low urate/inulin clearance ratio assumes complete filtrability of the plasma urate at the glomerulus, an assumption supported by several lines of evidence (1-7); reabsorption of 90 to 95 per cent of the filtered urate; and excretion of that ...

متن کامل

Interoperability Test Suite Generation for the TCP Data Part Using Experimental Design Techniques

.....................................................................................

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Indian Journal of Science and Technology

سال: 2015

ISSN: 0974-5645,0974-6846

DOI: 10.17485/ijst/2015/v8i33/85282